first-order temporal logic
[计] 一组时态逻辑
热门查询
- Swinton [人名] [英格兰人、苏格兰人姓氏] 斯温顿住所名称，来源于古英语，含义是“猪，野猪+圈用地，居留地”(pig,boar+enclosure,settlement); [地名] [英国] 斯温顿
- soften vt. 使温和；使缓和；使变柔软 vi. 减轻；变柔和；变柔软
- terra n. 地；地球；土地
- caterer n. 备办食物者；承办酒席的人；筹备人
- realist n. 现实主义者；实在论者
- dilettante n. 业余爱好者；一知半解者 adj. 浅薄的；业余艺术爱好的 vi. （在艺术、科学等方面）浅尝辄止
- epigraphy n. 题铭研究；碑文；铭文学
- exorcism n. 驱魔；驱邪；用魔法召鬼魂
- reinstitution n. 再建立，重新建立
- uniquely adv. 独特地；珍奇地
- replicate n. 复制品；八音阶间隔的反覆音 vt. 复制；折叠 adj. 复制的；折叠的 vi. 重复；折转
- luxuriance n. 繁茂；丰富；肥沃；华美
- rough n. 艰苦；高低不平的地面；未经加工的材料；粗糙的部分 adj. 粗糙的；粗略的；粗野的；艰苦的；未经加工的 vt. 使粗糙；粗暴对待；草拟 adv. 粗糙地；粗略地；粗暴地 vi. 举止粗野 n. (Rough)人名；(英)拉夫
- militiaman n. 民兵；民兵组织
- wu abbr. 西联（Western Union）；工作单位（Work Unit）；武汉航空公司
- spoilage n. 损坏，糟蹋；掠夺；损坏物
- Bolivia n. 玻利维亚（南美洲西部国家）
- fiscal adj. 会计的，财政的；国库的 n. (Fiscal)人名；(法)菲斯卡尔
- SEN n. 传感器（传感元件，探测设备） abbr. 政府录用的护士 （State Enrolled Nurse）
- downtime n. （工厂等由于检修，待料等的）停工期；[电子] 故障停机时间
